Groupe additif abélien : groupe additif pour lequel la symétrie de l'addition est respectée (Groupe additif, Commutativité - Symétrie)